Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
971	DynaMoW User’s Manual (for DynaMoW releaseFrédéric Chyzak and Alexis Darrasse September 9, 2011 Add to Reading List Source URL: ddmf.msr-inria.inria.fr Language: English - Date: 2011-09-09 05:21:24 Functional languages Procedural programming languages Data types Type theory OCaml Caml Foreach loop ML Type system Computing Software engineering Programming language theory
972	A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-10-27 11:28:34 Orbifold Symbol Metalogic Model theory Programming language semantics
973	slide 1 gaius C# Fundamentals C# is a strongly typed language Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:56 Data types Procedural programming languages Memory management Primitive types C Standard Library C dynamic memory allocation Stack C++ classes Integer Computing Software engineering Programming language theory
974	Motivation Programs may contain code whose result is needed, but in which some computation is simply a redundant repetition of earlier computation within the same program. The concept of expression availability is useful Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-01-31 06:00:00 Abstract algebra Evaluation Expression ALGOL 68 Conditional Semantics Boolean algebra Computing Software engineering Programming language theory
975	Type-Preserving Compilation of Featherweight Java CHRISTOPHER LEAGUE, ZHONG SHAO, and VALERY TRIFONOV Yale University We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:11 Programming language theory Computing Recursive data type Papyrus 1 Type system Type safety Generic programming Type theory Data types Software engineering
976	Data-flow analysis MOV MOV ADD MOV MOV Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-01-26 06:00:00 Live variable analysis ALGOL 68 Control T32 Computing Programming language theory Software engineering Data-flow analysis
977	All-Paths Test Generation for Programs with Internal Aliases in PathCrawler Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English Alias Pointer ALGOL 68 Computing Software engineering Programming language theory
978	PDF Document Add to Reading List Source URL: www.teacherled.com Language: English - Date: 2011-01-09 17:46:14 CLU Programming language theory Software engineering Computing Procedural programming languages Elementary arithmetic Subtraction
979	Motivation In this part of the course we’re examining several methods of higher-level program analysis. We have so far seen abstract interpretation and constraintbased analysis, two general frameworks for formally spec Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-28 06:00:00 Type theory Type systems Procedural programming languages Functional languages Program analysis Hindley–Milner ML Property Holomorphic functional calculus Software engineering Programming language theory Computing
980	Abstract A Type-Preserving Compiler Infrastructure Christopher Adam League Many kinds of networked devices receive and execute new programs from various sources. Since we may not fully trust the producers of these progra Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Cross-platform software Type theory Procedural programming languages Java bytecode Type system Java Programming language C Strong typing Computing Software engineering Software

UPDATE